#include <stdio.h>
void main()
{
  char ch1,ch2;
  ch1 = getchar();
  ch2 = getchar();
  putchar(ch1+32);
  putchar(ch2+32);
  putchar('\n');
}
